$\forall$${\it es}$:ES, $i$, $j$:Id. ($i$ = $j$) $\Rightarrow$ (state@$i$ $\subseteq$r discrete state@$j$)